Probador de Teoremas Lógicos

Mira otros diccionarios:

• Probador de teoremas lógicos — Saltar a navegación, búsqueda Un probador de teoremas lógicos es una metodología o programa (software), que rechaza o acepta un teorema según un conjunto de reglas predefinidas. Ejemplos: Prolog, Lisp. Obtenido de Probador de teoremas… …   Wikipedia Español

• Prolog — El Prolog (o PROLOG), proveniente del francés PROgrammation en LOGique,[1] es un lenguaje de programación lógico e interpretado, bastante conocido en el medio de investigación en Inteligencia Artificial. Contenido 1 Historia 2 Vue …   Wikipedia Español